Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
151	Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP[removed]April 2011 Kings Manor, University of York Programme of Events Tuesday 12th April Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computing Constraint logic programming Logic programming Answer set programming Constraint satisfaction problem Constraint Mathematical optimization Constraint programming Software engineering Computer programming
152	Corrective Explanation for Interactive Constraint Satisfaction ∗ Barry O’Sullivan, Barry O’Callaghan and Eugene C. Freuder Cork Constraint Computation Centre Department of Computer Science, University College Cork, Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 16:51:00 Mathematical optimization Constraint satisfaction Random variable Computing Artificial intelligence Applied mathematics Constraint programming Constraint satisfaction problem Heuristic
153	On the complexity of #CSP Martin Dyer University of Leeds Fields Institute Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-08-15 11:39:00 Constraint programming Constraint satisfaction problem Orbifold
154	Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP Marcus Bjareland? Peter Jonsson?? Dept. of Comp. and Info. Sci. Linkopings universitet Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:39 Constraint programming Graph coloring NP-complete problems Constraint satisfaction problem Bipartite graph Graph Complexity of constraint satisfaction Path decomposition Graph theory Mathematics Theoretical computer science
155	Algorithms for Querying by Spatial Structure Dimitris Papadias’, Nikos Mamoulis’ and Vasilis Delis2 ‘Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Hong Kong { dimitr Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:40:20 R-tree Relational model Function FO Constraint satisfaction problem Relation Variable Mathematics Constraint programming Elementary mathematics
156	Learning Techniques for Pseudo-Boolean Solving Jos´e Santos IST/UTL, INESC-ID, Portugal Vasco Manquinho IST/UTL, INESC-ID, Portugal Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-12 11:31:22 Applied mathematics Boolean satisfiability problem Constraint learning Local consistency Linear programming Solver GRASP Logic programming Constraint satisfaction Theoretical computer science Constraint programming Declarative programming
157	Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 04:16:28 Mathematics Constraint satisfaction problem 2-satisfiability Boolean satisfiability problem Constraint satisfaction Local search Constraint programming Theoretical computer science Applied mathematics
158	Many Hard Examples in Exact Phase Transitions1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University, Beijing[removed], China Email:{kexu,liwei}@nlsde.buaa.edu. Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2006-01-02 10:31:48 Mathematics Constraint satisfaction problem 2-satisfiability Constraint satisfaction Boolean satisfiability problem Constraint programming Theoretical computer science Applied mathematics
159	Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances Ke Xu 1,∗ National Lab of Software Development Environment, School of Computers, Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2007-04-10 23:13:08 Constraint satisfaction problem Computing Constraint satisfaction Constraint logic programming Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
160	Constraint Satisfaction Problems (CSPs) Hal Daumé III Computer Science University of Maryland [removed] Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2012-02-07 10:46:32 Computer programming Constraint satisfaction problem Constraint satisfaction Search algorithm Constraint graph Boolean satisfiability problem Decomposition method Constraint programming Theoretical computer science Software engineering

UPDATE